Computing Machine Laboratory - PDFSEARCH.IO - Document Search Engine

Computing Machine Laboratory
Results: 84

#	Item
61	Hyperspectral Data Classiﬁcation via Sparse Representation in Homotopy Qazi Sami ul Haq,Lixin Shi,Linmi Tao,Shiqiang Yang Key Laboratory of Pervasive Computing, Ministry of Education Department of Computer Science and Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-23 01:04:48 Linear algebra Signal processing Multivariate statistics Abstract algebra Mathematical optimization Support vector machine Homotopy Linear programming Sparse matrix Algebra Mathematics Statistics
62	A Robust Band Compression Technique for Hyperspectral Image Classification Qazi Sami ul Haq,Lixin Shi,Linmi Tao,Shiqiang Yang Key Laboratory of Pervasive Computing, Ministry of Education Department of Computer Science an Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-23 01:04:47 Principal component analysis Hyperspectral imaging Dimension reduction Spectral imaging Sparse PCA Factor analysis Feature extraction Support vector machine Latent semantic indexing Statistics Multivariate statistics Linear discriminant analysis
63	Fast, Easy, and Cheap: Construction of Statistical Machine Translation Models with MapReduce Christopher Dyer, Aaron Cordova, Alex Mont, Jimmy Lin Laboratory for Computational Linguistics and Information Processing Unive Add to Reading List Source URL: www.umiacs.umd.edu Language: English - Date: 2008-06-21 22:35:18 Concurrent computing Statistical natural language processing Markov models Distributed computing architecture MapReduce Parallel computing Statistical machine translation Hidden Markov model Bitext word alignment Statistics Computing Machine translation
64	NetP: A Network API for Building Heterogeneous Modular Intelligent Systems Kai-Yuh Hsiao and Peter Gorniak and Deb Roy Cognitive Machines Group MIT Media Laboratory 20 Ames St., Cambridge, MA, 02142 {eepness,pgorniak,dkr Add to Reading List Source URL: www.media.mit.edu Language: English - Date: 2005-05-18 14:56:50 Inter-process communication Application programming interfaces Distributed computing architecture Message Passing Interface Communications protocol Parallel Virtual Machine Message passing Modularity Kernel Concurrent computing Computing Parallel computing
65	Meta Optimization: Improving Compiler Heuristics with Machine Learning Mark Stephenson and Saman Amarasinghe Massachusetts Institute of Technology Laboratory for Computer Science Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2009-01-29 13:05:48 Programming language implementation Operations research Compiler construction Instruction scheduling Heuristics Heuristic function Compiler Static single assignment form Inline expansion Computing Software Compiler optimizations
66	An Infrastructure for Adaptive Dynamic Optimization Derek Bruening, Timothy Garnett, and Saman Amarasinghe Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2009-01-29 13:05:49 Compiler construction Compiler optimizations Software optimization Machine code CPU cache Cache Adaptive optimization Profiling Pin Computing Software engineering Computer programming
67	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-08 21:19:27 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
68	December 14, 2012 Via Electronic Filing to [removed] National Institute of Standards and Technology Attn: Computer Security Division, Information Technology Laboratory 100 Bureau Drive (Mail Stop[removed]Gai Add to Reading List Source URL: www.tiaonline.org Language: English - Date: 2013-01-08 15:08:21 Computing Telecommunications Industry Association Data security National Institute of Standards and Technology Federal Information Security Management Act American National Standards Institute Machine-to-Machine Information security FIPS 140-3 Computer security Standards organizations Security
69	Viewstamped Replication Revisited Barbara Liskov and James Cowling MIT Computer Science and Artificial Intelligence Laboratory [removed], [removed] Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-08-28 14:58:37 Computer architecture State machine replication Replication Client-side Transmission Control Protocol Load balancing Fault-tolerant computer systems Data synchronization Computing
70	Viewstamped Replication Revisited Barbara Liskov and James Cowling MIT Computer Science and Artificial Intelligence Laboratory [removed], [removed] Abstract Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2012-08-28 14:58:37 Computer architecture State machine replication Replication Client-side Transmission Control Protocol Load balancing Fault-tolerant computer systems Data synchronization Computing

UPDATE